/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 

August 4, 1978 




␈↓ ↓H␈↓Dr. K.S. Hsu
␈↓ ↓H␈↓Institute of Computers
␈↓ ↓H␈↓Academia Sinica
␈↓ ↓H␈↓Peking, China

␈↓ ↓H␈↓Dear Dr. Hsu:

␈↓ ↓H␈↓        Many␈αthanks␈αfor␈αyour␈αletter␈αof␈αJuly␈α25␈αwhich␈αarrived␈αtoday␈αand␈αyour␈αtelegram␈αof␈αAugust␈α2
␈↓ ↓H␈↓which␈α
arrived␈α
yesterday.␈α
 As␈α
I␈α
wrote␈α
in␈α
my␈α
telegram␈α
of␈α
today,␈α
I␈α
propose␈α
to␈α
arrive␈α
in␈α
Peking␈α
on
␈↓ ↓H␈↓Friday␈α
September␈α1␈α
on␈αPakistani␈α
Airlines␈α
Flight␈α751␈α
from␈αTokyo␈α
which␈α
arrives␈αat␈α
1350␈αand␈α
leave
␈↓ ↓H␈↓from␈α
Peking␈α
on␈α
Friday␈αSeptember␈α
8␈α
on␈α
JAL␈α784␈α
which␈α
departs␈α
from␈αPeking␈α
to␈α
Tokyo␈α
at␈α1620.
␈↓ ↓H␈↓The␈α∩departure␈α⊃date␈α∩can␈α∩be␈α⊃varied␈α∩if␈α∩you␈α⊃get␈α∩tired␈α∩of␈α⊃me␈α∩or␈α∩if␈α⊃mutual␈α∩interest␈α∩suggests␈α⊃an
␈↓ ↓H␈↓extension.

␈↓ ↓H␈↓        After␈α∞August␈α
22,␈α∞I␈α∞will␈α
be␈α∞at␈α
Research␈α∞Institute␈α∞of␈α
Mathematics,␈α∞Kyoto␈α∞University,␈α
Kyoto
␈↓ ↓H␈↓Japan, c/o Professor S. Takasu.

␈↓ ↓H␈↓        My␈α∞recent␈α∞work␈α∂has␈α∞been␈α∞in␈α∞arti≡cial␈α∂intelligence,␈α∞in␈α∞mathematical␈α∞theory␈α∂of␈α∞computation
␈↓ ↓H␈↓(program␈αproving),␈αand␈αin␈αapplications␈αof␈αcomputers.␈α I␈αenclose␈αseveral␈αpapers␈αand␈αwill␈αbe␈αglad␈αto
␈↓ ↓H␈↓discuss any of the topics they cover.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science